Toutes les traductions

This led to further work on computer security that prefigured modern security engineering techniques producing closed form processes that terminate.